منابع مشابه
Exploring Relational Structures Via FLE
Designing ontologies and specifying axioms of the described domains is an expensive and error-prone task. Thus, we propose a method originating from Formal Concept Analysis which uses empirical data to systematically generate hypothetical axioms about the domain, which are represented to an ontology engineer for decision. In this paper, we focus on axioms that can be expressed as entailment sta...
متن کاملA compar investigati hand K-Fle
n: The most important aims of root canal preparation are the removal of vital emaining necrotic debris and infected dentin, eliminating the bulk of bacteria root canal system. The aim of this study was to compare the cleaning efficacy of files and rotary RaCe and K3 instruments in root canal preparation. and Methods: A total of 60 single rooted teeth with maximum curvature of cted and divided i...
متن کاملComputing Least Common Subsumers for FLE+
Transitive roles are important for adequate representation of knowledge in a range of applications. In this paper we present a first algorithm to compute least common subsumers in a description logic with transitive roles.
متن کاملThe New R Help System
Version 2.10.0 of R includes new code for processing ‘.Rd’ help files. There are some changes to what is allowed, and some new capabilities and opportunities. One of the reasons for the success of R is that package authors are required to write documentation in a structured format for all of the functions and datasets that they make visible in their packages. This means users can count on askin...
متن کاملnew semigroup compactifications via the enveloping semigroups of associated flows
this thesis deals with the construction of some function algebras whose corresponding semigroup compactification are universal with respect to some properies of their enveloping semigroups. the special properties are of beigan a left zero, a left simple, a group, an inflation of the right zero, and an inflation of the rectangular band.
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Royal United Services Institution. Journal
سال: 1876
ISSN: 0035-9289
DOI: 10.1080/03071847609415800